factorial notation solved problem